tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 18 Apr 2017 16:33:05 +0000 (17:33 +0100)
commit6b66a39ea6db832a88d94c4d8e256f77e08fe1a3
treee8e3145b70fba5b51b86fb1ca511433be6ce92ee
parent3c1dc49f92bcdb9e031a419f3c0014b57fcb96a9
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

Gbp-Pq: Name tools-xenpaging-prefix.diff
tools/xenpaging/Makefile